Mathematical problem

Results: 2693



#Item
741Control theory / Estimation theory / Filtering problem / Signal processing / Partial differential equation / Lie algebra / Ordinary differential equation / Calculus / Mathematical analysis / Mathematics

c 2008 International Press COMMUNICATIONS IN INFORMATION AND SYSTEMS Vol. 8, No. 3, pp, 2008

Add to Reading List

Source URL: www.ims.cuhk.edu.hk

Language: English - Date: 2009-03-17 23:14:05
742Theoretical computer science / Algorithm / Mathematical logic / Asymptotically optimal algorithm / Secretary problem / Randomized algorithm / Selection algorithm / Euclidean algorithm / Analysis of algorithms / Applied mathematics / Mathematics

Revealing Optimal Thresholds for Generalized Secretary Problem via Continuous LP: Impacts on Online K-Item Auction and Bipartite K-Matching with Random Arrival Order T-H. Hubert Chan∗ Fei Chen∗

Add to Reading List

Source URL: i.cs.hku.hk

Language: English - Date: 2014-10-29 22:53:28
743Education / Neuropsychological assessment / Problem solving / Mathematical problem / Problem / Theoretical computer science / NP-complete / How to Solve It / Mathematics / Mathematics education / Educational psychology

Problem Solving Methods ___________ Methods Checklist Use to record the range of methods you know, use or/and have experienced. Notice methods that may need development. Solve a problem in several ways using different m

Add to Reading List

Source URL: schools.reap.org.nz

Language: English - Date: 2015-04-13 04:43:07
744Logic programming / Metalogic / Knowledge representation / Logic in computer science / Situation calculus / Frame problem / Interpretation / Fluent / Constructible universe / Mathematical logic / Logic / Model theory

Transforming Situation Calculus Action Theories for Optimised Reasoning Christopher Ewin Adrian R. Pearce Stavros Vassos

Add to Reading List

Source URL: people.eng.unimelb.edu.au

Language: English - Date: 2014-03-04 23:18:30
745International Olympiad in Informatics / Informatics / Algorithm / Mathematical optimization / C / Computing / Computer programming / Software engineering

From Contest Problem to Course Unit Workshop at the Schweizer Tag f¨ ur Informatik Unterricht 15 January 2010, 16:00–17:30

Add to Reading List

Source URL: www.win.tue.nl

Language: English - Date: 2010-01-16 10:28:03
746Exponentials / Ordinary differential equations / Integral calculus / Linear differential equation / Differential equation / Inverse function / Hyperbolic function / Fish curve / Examples of differential equations / Mathematical analysis / Mathematics / Calculus

UNENE_Problem_4_Ordinary_Differential_Equations

Add to Reading List

Source URL: unene.ca

Language: English - Date: 2014-08-07 11:49:35
747Computability theory / Mathematical logic / Theory of computation / Logic in computer science / Proof theory / Undecidable problem / Decision problem / Algorithm / Computability / Theoretical computer science / Mathematics / Applied mathematics

Chapter 4: Computability Algorithmic Adventures From Knowledge to Magic Book by Juraj Hromkoviˇ

Add to Reading List

Source URL: www.win.tue.nl

Language: English - Date: 2011-10-24 15:09:33
748Theoretical computer science / Job shop scheduling / Algorithm / Mathematical optimization / NP / Optimization problem / Search algorithm / Monte Carlo method / Shifting bottleneck heuristic / Applied mathematics / Operations research / Mathematics

Proactive Algorithms for Scheduling with Probabilistic Durations∗ J. Christopher Beck Department of Mechanical & Industrial Engineering University of Toronto, Canada

Add to Reading List

Source URL: tidel.mie.utoronto.ca

Language: English - Date: 2006-01-18 12:07:28
749Differential calculus / Differential equations / Partial differential equations / Dynamical systems / Separation of variables / Linear differential equation / Heat equation / Nonlinear system / Boundary value problem / Calculus / Mathematical analysis / Ordinary differential equations

UNENE Math Refresher Course Ordinary Differential Equations 1

Add to Reading List

Source URL: unene.ca

Language: English - Date: 2014-08-07 11:49:21
750Knowledge / Mathematical proof / Heuristic / Formal specification / Logic / Automated theorem proving / Formal methods / Mathematics / Problem solving

Intelligent Support for Systems Verification Werner Stephan, Lassaad Cheikhrouhou, Bruno Langenstein German Research Centre for Artificial Intelligence April 29, 2011

Add to Reading List

Source URL: www.ai4fm.org

Language: English - Date: 2013-10-30 13:20:15
UPDATE